Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
511	Building the Minimal Automaton of AX in Linear Time, when X is of Bounded Cardinality Add to Reading List Source URL: www.cs.ucr.edu Language: English* - Date: 2010-08-20 17:45:56 Aho–Corasick string matching algorithm Mathematics Deterministic automaton Computer science Regular language Alphabet Models of computation Automata theory Formal languages Theoretical computer science
512	Model-Checking Overview of Automated Verification SW/HW SW/HW artifact Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-02-06 13:57:58 Mathematical logic Formal languages Logical syntax Philosophy of language Interpretation Computation tree logic Well-formed formula Function Kripke structure Logic Mathematics Temporal logic
513	infol vPrn:; 14:37 F:INFOL063.tex; VTEX/gm p. 1 Olympiads in Informatics, 2010, Vol. 4, 1–8 © 2010 Institute of Mathematics and Informatics, Vilnius Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2011-12-05 04:03:04 Cross-platform software JavaScript Quine Computer program Programming language Scripting language Computer Eval Computing Software engineering Computer programming
514	Language Policy and Practice Research Seminar Series: Two sides of the same coin: Should science be learnt in English or Chinese in Hong Kong? Dr Alice Wong (Division of Mathematics and Science Education) 4 MayMon Add to Reading List Source URL: web.edu.hku.hk Language: English - Date: 2015-04-09 06:20:32 University of Hong Kong Science education Educational research Trends in International Mathematics and Science Study Education
515	ON THE COEVOLUTION OF BASIC ARITHMETIC LANGUAGE AND KNOWLEDGE JEFFREY A. BARRETT Abstract. Skyrms-Lewis sender-receiver games with invention allow one to model how a simple mathematical language might be invented and bec Add to Reading List Source URL: www.imbs.uci.edu Language: English - Date: 2014-11-04 13:08:56 Arithmetic Disposition Mathematics Affect Competence Information Mind Consciousness Asymmetric information Game theory Signaling game
516	The Verification Grand Challenge and Abstract Interpretation Patrick Cousot École normale supérieure, 45 rue d’UlmParis cedex 05, France Patrick.Cousot@ ens.fr Add to Reading List Source URL: www.mit.edu Language: English - Date: 2005-08-12 12:15:34 Abstract interpretation Astrée Applied mathematics Computer science Formal verification Patrick Cousot Programming language Abstraction Semantics of programming languages Formal methods Theoretical computer science Logic in computer science
517	Reprinted with corrections from The Bell System Technical Journal, Vol. 27, pp. 379–423, 623–656, July, October, 1948. A Mathematical Theory of Communication By C. E. SHANNON Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:20:01 Markov models N-gram Natural language processing Speech recognition Markov chain Variable Summation Letter frequency Entropy Mathematics Science Statistics
518	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
519	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics

UPDATE